17 ideas
| 9108 | From an impossibility anything follows [William of Ockham] |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| 16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
| 9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
| 9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
| 9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| 9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
| 9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
| 9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
| 9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| 22626 | Process philosophy insists that processes are not inferior in being to substances [Rescher] |
| 15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
| 9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |